$\forall$$P$:$\mathbb{P}$. Stable\{$\neg$$P$\}